package auto.app.dao;

import auto.app.controller.from.CasePageFrom;
import auto.app.controller.from.CollectionCasePageFrom;
import auto.app.model.CaseInterface;
import auto.app.model.CaseDaoDto;
import com.baomidou.mybatisplus.core.mapper.BaseMapper;
import com.baomidou.mybatisplus.extension.plugins.pagination.Page;
import org.apache.ibatis.annotations.Param;

import java.util.List;

/**
 * <p>
 *  Mapper 接口
 * </p>
 *
 * @author 杨森
 * @since 2022-07-09
 */
public interface CaseDao extends BaseMapper<CaseInterface> {


    public CaseDaoDto findDtoByCaseId(Integer caseId);

    public Page<CaseDaoDto> listAll(@Param("page") Page<CaseDaoDto> page, @Param("casePageFrom") CasePageFrom casePageFrom);

    public  Page<CaseDaoDto> listALlCollection(@Param("page") Page<CaseDaoDto> page, @Param("casePageFrom") CollectionCasePageFrom casePageFrom);

    public List<CaseDaoDto> listExecute(List<Integer> caseIdList);

}
